Reprochant l'extrême longueur de la démonstration de classification des groupes simples finis, des travaux, dits « révisionnistes », conduits à l'origine par Daniel Gorenstein, ont recherché une démonstration plus simple. 因为有限简单群分类的证明真的实在是太长了,所以有许多被称做「修正」的工作,原本由丹尼尔·葛仑斯坦所领导,在找寻著一个更简单的证明。